perm filename LECTUR.F9[W78,JMC] blob sn#333106 filedate 1978-02-09 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1. result formalism,
C00003 ENDMK
CāŠ—;
1. result formalism,
programs and realizable programs

2. modal logic, hughes and cresswell, m s4, s5
translation to predicate calculus
kripke semantics,
other modals - future, dynamic logic, knowledge and belief
properties of future, past, F G P H

references